home *** CD-ROM | disk | FTP | other *** search
/ Language/OS - Multiplatform Resource Library / LANGUAGE OS.iso / sml_nj / 93src.lha / src / util / errormsg.sig < prev    next >
Encoding:
Text File  |  1993-01-27  |  701 b   |  17 lines
  1. (* Copyright 1989 by AT&T Bell Laboratories *)
  2. signature ERRORMSG =
  3.  sig
  4.     datatype severity = WARN | COMPLAIN
  5.     type complainer (*  = severity -> string -> (PrettyPrint.ppstream -> unit)
  6.                   -> unit *)
  7.     exception Error
  8.     val defaultConsumer : unit -> PrettyPrint.ppconsumer
  9.     val nullErrorBody : PrettyPrint.ppstream -> unit
  10.     val error : Source.inputSource -> Source.region -> complainer
  11.     val matchErrorString : Source.inputSource -> Source.region -> string
  12.     val errorNoFile : PrettyPrint.ppconsumer * bool ref -> Source.region
  13.                   -> complainer
  14.     val impossible : string -> 'a
  15.     val impossibleWithBody : string -> (PrettyPrint.ppstream -> unit) -> 'a
  16.  end
  17.